Abstract: It has been conjectured that the entangled output state from a beam splitter requires nonclassicality in the input state [M. S. Kim, W. Son, V. Buzek, and P. L. Knight, Phys. Rev. A 65, 032323 (2002)]. Here we give a proof for this conjecture.