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