theorem :: XPRIMES2:5210

canceled;