Create SVM_3

deriving theorems