Add Anderson-Schori theorem proof