theorem :: XPRIMES2:5248

canceled;