ヴィーガンチートデーとやらの公理という。