theorem :: XPRIMES2:1787

canceled;