." Call this

.

Now we proved by means of our fifth principle that

"

implies that

implies