A Theorems and proofs