theorem :: XPRIMES2:2772

canceled;