Existence zauhlování implikuje gempostování
186