Det första bewiset will synas något enfaldigk,