theorem :: XPRIMES2:5479

canceled;