[It is analytic, necessary and a priori that] Each instance of the schema “The F G is F” expresses a truth. Hence the sentence “The existent perfect being is existent” expresses a truth. Hence, the existent perfect being is existent. Hence, God is existent, i.e. God exists. (The last step is justified by the observation that, as a matter of definition, if there is exactly one existent perfect being, then that being is God.)