theorem Th60: :: POWER:60

2 to_power 2 = 4