Инверсированный руль, Proof