CAS proof working