I teoremi sono metodi che implementano BiFunction (era ora).