theorem :: POWER:63

2 to_power 5 = 32