>>13529219In the proof it doesn't matter because if you are given 0<a<b and 0<x<=y then ax<by.
The proof would work just the same with < instead of <=
I admit it is unnecessary and confusing what was done in the proof by using
>>13529202 to go from < to <= just to have it turned back into < after multiplication.