theorem Th226: :: NUMBER11:226

Sum (digits (51,10)) = 6