誰か最小性の証明できました?