이걸로 이틀 날려먹다니

나란 ㅄ ㅋㅋㅋㅋ

(∀x,y∈P1)(x ≤1 y ↔ h(x) ≤2 h(y))이 만족될 때,

for all x, y ∈ P1, h(x) ＜2 h(y)

iff h(x) ≤2 h(y) ∧ h(x) ≠ h(y)

iff x ≤1 y ∧ h(x) ≠ h(y)

iff (x ＜1 y ∧ (x ＜1 y → h(x) ≠ h(y)) ∨ (x = y ∧ h(x) ≠ h(y))

iff (x ＜1 y).