を満たすコピュラ "c" が存在する。