Showing some proofs about our work