Los cuales pueden posteriormente ser generalizados de tal forma que el enunciado finaliza con la siguiente estructura: