The Parallel Postulate 4