Proof of Necessity:

Take any n.

If | h[k] | = 0, then x[n-k] is bounded with bound 0

Then,

Hence But since the system is stable , which in turn implies that

Hence if y[n] is bounded then the condition must hold.

Hence Proved

A similar proof follows in continuous time when you replace by integral .