III. Les égalités (relations d’involution

a a' = b b' = cc'

entraînent

( a ~ b) (« — ^') (fl — c) (a — c ')

(a' — A) («' — 6') - ( fl ' c ) (a' c ')

(fl — 6') (è — c) (c' — a') =r (b — a') (a — c) ( c ' — b'),

montrer inversement que chacune des sept relations qui précèdent rentre dans la relation unique

{a-ha')(bb'— cc’) -+- (b + b')(cc'—aa’)+ (c+c) (a«'- bb’)= o.