>>629

不存在の証明は難しいのだが…