Generalización de teorema 1 propuesto por Michael de Villiers