theorems A and B