theorem Th1116: :: NUMBER11:1116

Sum (digits (925,10)) = 16