theorem :: XPRIMES2:7248

canceled;