theorem :: XPRIMES2:2971

canceled;