con P una proposición estándar (con tal de que "f" sea una función estándar también).