theorem Th6: :: SCMFSA10:6

for a, b being Int-Location holds Divide (a,b) = [5,{},<*a,b*>]