Description: 2 + 1 = 3. (Contributed by Mario Carneiro, 18-Apr-2015)
|- ( 2 + 1 ) = 3
|- 3 = ( 2 + 1 )