Theorem A1.7 Class 10