theorem Th324: :: NUMBER11:324

Sum (digits (551,10)) = 11