theorem :: XPRIMES2:5276

canceled;