for i, j being natural Number st i < j & i <> 0 holds
not i / j is integer