Assertion: algorithm's input | /r/MadeOf | positive integers
Facets:
Source sentences:
text: Contrary to the division-based version, which works with arbitrary integers as input, the subtraction-based version supposes that the input consists of positive integers and stops when a = b: