theorem Th29: :: SIN_COS3:29

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