for n being natural Number holds n mod n = 0