La condizione è ora verificatadopo ogni interazione anzichéprima.
Problema: che succede se siinvoca fact(-3) ???