プライム拡大補題