theorem :: XPRIMES2:2771

canceled;