theorem :: XPRIMES2:7467

canceled;