thus (6 |^ 10) + 1 = (((((((((6 * 6) * 6) * 6) * 6) * 6) * 6) * 6) * 6) * 6) + 1 by NUMBER02:6
.= (6046 * 10000) + 6177 ; :: thesis: verum