Ah, I just see if people realize that Square is a subclass of Rectangle.
Even if you did something like implementing the square's size as an average of the underlying rectangle's width and height, which would apparently support both classes correctly, you will get in trouble with the semantics or with other, less "fakeable" properties of these objects.
That's not really true though. Definition is a quadrilateral w/ 4 right angles. Width and height can be dependent or not