Prove sinoidal effect of parameter with trace and density matrices

[schweikart]

...because my prove works like the Wendenius proof, not like the Ostaszewski proof. See also #5