10 5 briefly the range test proves independence by determining whether certain symbolic inequalities hold for a permutation of the loop nest