theorem Th475: :: NUMBER11:475

Sum (digits (1460,10)) = 11