Postulate II

Postulate I