for n being even Integer holds n / 2 is Integer