Theorems A and B