theorem :: XPRIMES2:5486

canceled;