theorem :: XPRIMES2:5172

canceled;