アリストテレス『形而上学』1020a14およびエウクレイデス『原論』第7巻の定義1および2を参照。