thus (4 |^ 10) + 1 = (((((((((4 * 4) * 4) * 4) * 4) * 4) * 4) * 4) * 4) * 4) + 1 by NUMBER02:6
.= (1048 * 1000) + 577 ; :: thesis: verum