theorem :: XPRIMES2:2761

canceled;