Added def. of A for proof 1.21