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