「はさみうちの原理」vs「はさみうちの定理」
http://hasegawa.ac/utakata/24/24nisioka.html