theorem :: XPRIMES2:5991

canceled;