A theorem for the beam splitter entangler

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.