theorem Th76: :: NUMBER14:76

for a being Integer st a is even holds
a in multiples 2