線代證明有的好難懂