>>34
無内容なものの証明とは?