theorem :: XPRIMES2:2479

canceled;