theorem Th1034: :: NUMBER11:1034

Sum (digits (1541,10)) = 11