Property: if $ E_{\infty} $ is finite, then $ P_\infty $ equals to zero.
Proof: $ E_\infty $ = $ \int^{+\infty}_{-\infty} $$ |x(t)|^2 $ $ dt $
