theorem Th1136: :: NUMBER11:1136

Sum (digits (1275,10)) = 15