とれるためにはそのようなものが
少なくとも1つ存在することが必要
でありまする。では存在するとき、
どうやってそのものを取り出すのか
については、言わずに話を進めるのが
現代の数学でしょうか。たとえ構成する
手続が存在しなくても、取り出せるので
すから便利なことこの上ない。まるで魔
法のよう。