let's proof 1+1=2 with oF