It is not an assumption. It is justified because the 2 sides of the equation have the same corresponding expressions highlighted in red. It therefore means equating corresponding coefficients is justified. Of course when this is done, contradictions galore begin to arise which shows that the original assumption of an equation is contradicted, given the conditions stated in the proof. Herein lies the proof.
