theorem :: XPRIMES2:2983

canceled;