theorem :: XPRIMES2:5904

canceled;