theorem Th823: :: NUMBER11:823

Sum (digits (1232,10)) = 8