仮定法過去完了の基本形（if 節）