theorem Th354: :: NUMBER11:354

Sum (digits (836,10)) = 17