El primer grupo de suposiciones son un requisito de las matemáticas implicadas.