theorem Th1059: :: NUMBER11:1059

Sum (digits (648,10)) = 18