theorem Th397: :: NUMBER11:397

Sum (digits (660,10)) = 12