>>213
 平面 z = d-ax-by := f(x,y) に一般化する。

この平面が以下の4個を切るとする。
 (4,1,4) を切る ⇒ f(3,0) > 3,
 (1,4,4) を切る ⇒ f(0,3) > 3,
 (4,1,1) を切る ⇒ f(4,1) < 1,
 (1,4,1) を切る ⇒ f(1,4) < 1,
fは線形だから
 f(1,1) = {3f(3,0)+3f(0,3)-f(4,1)-f(1,4)}/4 > 4,
 f(3,3) = {3f(4,1)+3f(1,4)-f(3,0)-f(0,3)}/4 < 0,
⇒ (1,1,4) と (4,4,1) の2個は無傷で残る。