[quote=@Techspert] That's really lame. Most of these are already theorems; there's no point in proving them. [/quote] It sucks because I just naturally suck at proofs too.