theorem :: XPRIMES2:3781

canceled;