"उपप्रमेय": अवतरणों में अंतर