[quote=@Nimda]
<Snipped quote by Efficacy>

Depends on what proves them.
[/quote]

I suppose. Some take longer than others. But, after two days of spending hours on trig identities, I'm pretty sure I don't have to prove any more.