theorem :: XPRIMES2:5971

canceled;