let c be Complex; :: thesis: c |^ 5 = (((c * c) * c) * c) * c
A1: 5 = 4 + 1 ;
c |^ 4 = ((c * c) * c) * c by POLYEQ_5:3;
hence c |^ 5 = (((c * c) * c) * c) * c by A1, NEWTON:6; :: thesis: verum