theorem :: XPRIMES2:2247

canceled;