An ideal op-amp in negative feedback is modeled as an exact equal-input contract. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Negative feedback checks equal input voltages
In the linear ideal model, feedback drives the two input pins to 0 volts together.