theorem :: XPRIMES2:2781

canceled;