証明されている(キリッ