theorem :: XPRIMES2:6172

canceled;