Marty is proving that the following trigonometric identity is true:
Since \(1-\cos^2\theta=\sin^2\theta\)
The first line of his proof would be
\(\tan^2\theta\cdot\cos^2\theta=\sin^2\theta\)
+510 
