theorem :: XPRIMES2:2984

canceled;