theorem :: XPRIMES2:2248

canceled;