theorem Th252: :: NUMBER11:252

Sum (digits (357,10)) = 15