added a new theorem and definition
some new graphics and last lecture cont'd