theorem Th219: :: NUMBER11:219

Sum (digits (448,10)) = 16