>>494
一般に成り立つことを証明する前は自明ではないですね