Structured mathematical proof

Question description

Assume that D ⊂ N and D != 0. Prove or disprove using a detailed structured proof, justifying
every step: [∀x ∈ D, ∃y ∈ N, y < x] ⇔ [0 !∈ D]