Lemma 4.3 and Theorem 4.5 provide a method to construct a proof for a given tautology in terms of the axioms of AXSP3B, as we show next with an example.