Proof combinatorial identites with boxes