  It is conjectured that the an entanglement output states from a beam splitter
requires the 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.
