theorem :: XPRIMES2:3736

canceled;