存在しない証明は難しいと思うよw