theorem Th1069: :: NUMBER11:1069

Sum (digits (816,10)) = 15