theorem Th33: :: NUMBER03:33

for a, b, c being odd Prime st c - b = 2 & b - a = 2 holds
( a = 3 & b = 5 & c = 7 )