let z be Complex; :: thesis: z |^ 14 = ((((((((((((z * z) * z) * z) * z) * z) * z) * z) * z) * z) * z) * z) * z) * z
A1: 14 = 13 + 1 ;
z |^ 13 = (((((((((((z * z) * z) * z) * z) * z) * z) * z) * z) * z) * z) * z) * z by Th3;
hence z |^ 14 = ((((((((((((z * z) * z) * z) * z) * z) * z) * z) * z) * z) * z) * z) * z) * z by A1, NEWTON:6; :: thesis: verum