theorem Th1112: :: NUMBER11:1112

Sum (digits (850,10)) = 13