theorem Th633: :: NUMBER11:633

Sum (digits (3040,10)) = 7