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