theorem Th302: :: NUMBER11:302

Sum (digits (342,10)) = 9