Respuesta :

yes, the assumtion MUST lead to a contradiction