f har kunnat bevisas.