Я пытаюсь доказать теорему о делении двух натуральных чисел (х / у).
Чтобы избежать бесконечного условия, у не должно быть нуля.
У меня есть такая теорема,
Theorem neverhappen :forall m n, (n < m) = true-> (n=0)= false -> (S m/n)=false.