Why is it assumed that parallel lines meet at infinity?
How do we know that two parallel lines meet at infinity?