theorem :: POWER:64

2 to_power 6 = 64