希罗
are of the same size as the base square. A much older theorem, preserved in the works of Hero of Alexandria,