prove: 1 - cot^2 (theta) / 1 + cot^2 (theta) = sin^2 (theta) - cos^2 (theta)