SVM introduction, deduction, summary