Theorem pow_two

Modification history