Attempt of formalization of some elementary facts about groups defined by generators and relations