>>982
どこで証明されている?