theorem Th1061: :: NUMBER11:1061

Sum (digits (672,10)) = 15