H1 axioma 4