theorem :: XPRIMES2:2885

canceled;