Which postulate does this diagram demonstrate?