At exactly the same time a primary method is needed for the latest proof of the fresh compatibility of arithmetical principles