まず小さいから受前提の婆とそうでない婆とは永遠に平行線な気がする