平行四边形面积 = 底 × 高

依赖：SAS 全等判定；面积公理（区域可加 + 全等不变 + 单位正方形 ⇒ 矩形面积 = 长 × 宽）。

陈述

已知：平行四边形 $ABCD$。取一组对边 $AB \parallel CD$ 充作底，长度记为 $b = |AB| = |CD|$；以底边所在直线 $AB$ 为基准，对边 $CD$ 到直线 $AB$ 的垂直距离（即 $CD$ 上任意一点到直线 $AB$ 的距离）记为高 $h$。记平行四边形 $ABCD$ 的面积为 $S$。

求证：