follows being understood in the sense in which from the proposition with regard to any term, that it is a right angle, it follows that it is an angle, and in which from the proposition with regard to any term that it is red