thus (2 |^ 10) + 1 = (((((((((2 * 2) * 2) * 2) * 2) * 2) * 2) * 2) * 2) * 2) + 1 by NUMBER02:6
.= 1025 ; :: thesis: verum