theorem Th837: :: NUMBER11:837

Sum (digits (1408,10)) = 13