最大最小の証明法