finished all proofs v1, added reqiored figures for the proofs