theorem :: XPRIMES2:5885

canceled;