theorem Th895: :: NUMBER11:895

Sum (digits (2112,10)) = 6