True Relative Completeness of an Axiom System for the Language L4 (Abridged)