es20 Provate a vedere come si comporta l'operatore esplicito di punto fisso per PCF.