>>238
それは自明ではないので証明が必要。