Գրեք սա: CSP Is a Retract of CCS