ניסוח וואן-ליינר