theorem Th7: :: NUMBER08:7

for p1, p2 being Prime st p1 divides p2 holds
p1 = p2