theorem :: XPRIMES2:4247

canceled;