同济版《高等代数》对常微分方程的通解的定义就是“含有与微分方程的最高阶数相等的任意常数的解”，但我更倾向于认为这是微分方程的通解的性质而不应该是定义。顾名思义，通解就是用任意常数表示满足微分方程的所有的解，任意常数数与方程的阶数相等不是显而易见的，如何证明？