Se a soma de dois números naturais não nulos é igual ao quádruplo de um desses números, então