Por tanto, un subprograma que calcule el factorial de un número exigirá que dicho número sea mayor o igual que cero.