theorem Th465: :: NUMBER11:465

Sum (digits (1360,10)) = 10