In this case A is called the hypothesis of the --- theorem.