thus 2 to_power 12 = 2 to_power (6 + 6)
.= 64 * 64 by Lm11, POWER:32
.= 4096 ; :: thesis: verum