>>392
どの程度の厳密性を求めるかにもよるだろう