The theorem was first stated without proof by Bienaymé in 1853 and later proved by Chebyshev in 1867.
この定理は最初に1853年に Bienaymé によって証明がない状態で定式化され、後の1867年にチェビシェフによって証明された 。