>>406
> 逆は略

これって逆の証明もいるんだろうか・・・
教えてください(ちなみに>>383じゃないです)