theorem Th82: :: NUMBER14:82

for a being Integer holds card ((multiples 2) /\ {a,(a + 1)}) = 1