Теорема кота:

 

v20240901