Parallel lines properties+proofs