Let me say this in a different way: If some rectangles can also be squares, then this shows that a square is a rectangle. This is not a logical deduction; it is an intuitive one.