theorem :: NEWTON05:92

for a being even Integer holds a div 2 = (a + 1) div 2