theorem :: XPRIMES2:5728

canceled;