「平面ABCが必ず存在する」とは言えない。