theorem Th356: :: NUMBER11:356

Sum (digits (855,10)) = 18