- c100 = |[(- 1),(- Q),(- Q)]| by EUCLID_5:11
.= c[-100] ;
hence - c[100] = c[-100] ; :: thesis: verum