[math-fun] no-4-in-plane problem