theorem :: XPRIMES2:2172

canceled;