theorem :: XPRIMES2:3367

canceled;