theorem Th740: :: NUMBER11:740

Sum (digits (273,10)) = 12