briefly outline the other bits of the conclusion section
prove that (k+l);(k'+l')=(k;k')+(l;l')