theorem :: POWER:62

2 to_power 4 = 16