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\)