added proofs ...
organized problem statement.