theorem :: XPRIMES2:5195

canceled;