を持ち、任意のに対しておよびがともにの張る直線上にあると仮定する。