Het bewijs gaat als volgt:
GroetjesWe tonen aan dat van zodra er 2 oplossingen zijn er ook oneindig zijn.
Beschouw een willekeurig getal lambda, X^(lambda) = X_1 + lambda*(X_2 - X_1)
Dan is A*X^(lambda) = A*X_1 + lambda*(A*X_2 - A*X_1) = B
Voor elke waarde van lambda vinden we een oplossing X^(lambda) van het stelsel. Dit zijn er bijgevolg oneindig veel, want X^(lambda_1) <> X^(lambda_2) als lambda_1 <> lambda_2.