protractor postulate definition