AAA から BCBCBC への垂線を固定する。出典の数え上げでは、BBB、CCC を足元とする垂線から各 555 個、DDD、EEE から各 555 個、合計高々 202020 個の交点がある(BCBCBC への垂線は平行で交わらない)。頂点と垂心での必然的な共点は別に扱う。