>>16
>>4の証明可能になった云々の話は?