theorem Th217: :: NUMBER11:217

Sum (digits (432,10)) = 9