theorem :: XPRIMES2:2901

canceled;