>>900
これってec=76の証明ではなくね?