In this question: ques
Is it taken for granted that A will always be greater than B?
That is in the constraints, yes