theorem Th1: :: XPRIMET1:1

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