theorem :: SIN_COS:41

for n being Nat
for th being Real holds (th |^ n) / (n !) = (th |^ n) / (n !) ;