不動産テストの基本的な下限

「非自明な」プロパティに対する不動産テストは、ǫに反比例するクエリ数を必要とする。