let z be Complex; :: thesis: z |^ 11 = (((((((((z * z) * z) * z) * z) * z) * z) * z) * z) * z) * z
A1: 11 = 10 + 1 ;
z |^ 10 = ((((((((z * z) * z) * z) * z) * z) * z) * z) * z) * z by NUMBER02:6;
hence z |^ 11 = (((((((((z * z) * z) * z) * z) * z) * z) * z) * z) * z) * z by A1, NEWTON:6; :: thesis: verum