theorem Th897: :: NUMBER11:897

Sum (digits (2134,10)) = 10