theorem :: XPRIMES2:7427

canceled;