finally got the proof down that rectangles exist!!