The perceptron rule using binary step converges in finite time if the dataset is linearly separable

Statement

Lemma

The perceptron rule using binary step activation function converges in finite time if and only if the dataset is linearly separable.

Proof