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