first proof
second proof
added repository comments for our project