この種の定理は「存在」に関しては保証してくれるが、「具体的にどこにあるか」については分からない。具体的にどこにあるのか知りたい場合には別の考察が必要であるが、「存在」さえ確かめられれば、それでいい場合も多い。
英蘭戦争
第一次英蘭戦争.
当時オランダの造船能力は世界最高水準にあり、オランダ製の大型軍艦は既に輸出商品として確立されていたが、常設の大艦隊を保有しない方針であること、小型艦中心のオランダ艦隊は大型艦中心のスペイン艦隊に常に勝利し続けたこと、通商ルートの保護のためには小型艦の数をそろえた方が便利である等の理由により、ブルジョワ政治家たちは大型軍艦建造を承認しなかった。また、オランダの沿岸は水深が浅いため、喫水が深くなる大型艦が運用しづらいという事情もあった。
第二次英蘭戦争.
この後、オランダ側はイングランドの同盟国であるドイツの小諸邦からの陸軍の侵入や、艦隊司令官デ・ロイテルの病気療養などもあって、海上において積極的な行動は取らなかった。
第三次英蘭戦争.
第四次英蘭戦争.
その後の戦争.
TDK
概要.
社是は「創造によって文化、産業に貢献する」、社訓は「夢 勇気 信頼」。
事業分野.
記録デバイス.
電子部品.
電子材料.
フェライトの他、磁石（フェライト磁石、希土類磁石）、電磁シールドシート等を製造・販売する。
その他産業用製品.
かつて参入していた事業.
PHS端末事業.
歯科用材料.
その後、生体親和性の高いディオプサイト系セラミックスを開発、デンタルインプラントとして実用化を目指したが、バブル崩壊後の経営環境悪化に伴い、長期の開発期間を必要とする医療分野への本格参入を断念した。
記録メディア.
社名.
創業時の社名「東京電気化学工業」は、フェライトの発明者である加藤与五郎と武井武が所属していた東京工業大学電気化学科にちなんで名づけられた。
歴代社長.
概要.
本作品は東宝特撮で初めてタイムトラベルが物語の鍵となっていることが最大の特色であるが、タイムパラドックスが目立っており、その点において批判もある。大森は、演出を優先して歴史改変については意図的に無視したとしており、映画の力で見ている間は違和感を感じさせないという意気込みであったと語っている。
ストーリー.
作品解説.
スタッフ.