theorem Th565: :: NUMBER11:565
Sum (digits (2360,10)) = 11