>>22
証明がないだけで間違ってないんだが。