theorem Th28: :: SIN_COS3:28

for n being Element of NAT holds exp (((2 * PI) * n) * <i>) = 1