theorem :: NEWTON02:92
canceled;