theorem Th459: :: NUMBER11:459

Sum (digits (1300,10)) = 4