theorem Th744: :: NUMBER11:744

Sum (digits (315,10)) = 9