theorem Th734: :: NUMBER11:734

Sum (digits (147,10)) = 12