theorem :: XPRIMES2:1493

canceled;