theorem :: XPRIMES2:6248

canceled;