How do you verify # 1 + tanxtan2x = sec2x#?