theorem Th799: :: NUMBER11:799

Sum (digits (946,10)) = 19