theorem :: NUMBER09:64

( 2 * (2 + 1) = (1 * (1 + 1)) * (1 + 2) & 14 * (14 + 1) = (5 * (5 + 1)) * (5 + 2) ) ;