Soundness and completenes of Saxena and Tripathi's formal system