At: div 3 to 111 1. a: {...0} 2. b: {...-1} 3. -a = ((-a) (-b))(-b)+((-a) rem -b) 4. 0((-a) rem -b) & ((-a) rem -b) < -b 5. a = (a b)b+(a rem b) 6. 0(a rem b) & (a rem b) > b
(a b) = ((-a) (-b)) By: Analyze 6
THEN
Analyze 4 Generated subgoal: