theorem Th61: :: POWER:61

2 to_power 3 = 8