A Proof of Theorem 1, A2, B1, B