theorem :: XPRIMES2:2920

canceled;