Theory of Parallel lines and Basic proportionality theorem