theorem :: XPRIMES2:1788

canceled;