Pimsner-Popa Inequality