theorem :: XPRIMES2:5180

canceled;