長浜 城 城主エリザベスペーニャリーマンロッホの定理