theorem Th344: :: NUMBER11:344

Sum (digits (741,10)) = 12