for n being natural even number holds n div 2 = n / 2