任意一个四方形的面积等于其二边长的乘积(据辅助定理3)

• The area of any rectangle is equal to the product of two adjacent sides (follows from Lemma 3).