Herbrand's Theorem for Calculi of Sequents LK and LJ