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