Proofs involving angles and lines