>>616
任意の三次方程式は実数解を少なくとも一つは持つので、
任意の実数x,yについて、tの3次方程式y=tx-t^3は実数解を少なくとも一つ持つ。
よってその直線群はｘｙ平面上の全ての点を通過する。