if someone knows that every triangle has two right angles, he knows in a sense of the isosceles too that it has two right angles potentially even if he does not know of the isosceles that it is a triangle.