theorem Th1: :: NUMBER03:65

for p being Prime st p < 3 holds
p = 2