prop_power2 :: ( Positive Integer ) -> Bool
prop_power2 ( Positive integer )

 = power2 integer == 2 ^ integer
prop_power2 :: ( Positive Integer ) -> Bool
prop_power2 ( Positive integer )

 = power2 integer == 2 ^ integer
prop_power2 ( Positive integer )

 = power2 integer == 2 ^ integer