That’s true but in most languages the things you prove are relatively obvious propositions like “(A and A)implies A.”