theorem :: XPRIMES2:2884

canceled;