A.S.A = A.S.A.|Theorem 10.1.1 | class 9 fbise |