theorem :: XPRIMES2:6177

canceled;