#{:
("LS",=2tan(x)(1-sin^2(x))," | ",),
(,=2tan(x) * cos^2(x)," | ","Pythagorean Theorem"),
(,=2(sin(x))/(cos(x)) * cos^2(x)," | ","by definition:" tan=sin/cos),
(,=2 * sin(x) * cos(x)," | ","cancelation"),
("- - - - ",,,),
(RS,=sin(2x)," | ",),
(,=2 * sin(x) * cos(x)," | ","Double angle formula for "sin),
("- - - -",,,),
(LS,=RS,,"QED")
:}#