Added proof of convergence for perceptrons