Two theorems of statistical separability in the perceptron | AMiner