theorem Th75: :: NUMBER14:75

for a being Integer st a is even holds
a is Multiple of 2