Infinite-Horizon Observability Gramian Theorem