A Deductive Proof of Equivalence of Truthfulness and Usefulness of A-Priori Knowledge in an Axiomatic System of Epistemology (a Precise Axiomatic Definition of the Sphere of Adequateness of the Main Principle of Pragmatism «True is Useful»)