theorem Th1140: :: NUMBER11:1140

Sum (digits (1350,10)) = 9