theorem Th1012: :: NUMBER11:1012

Sum (digits (1242,10)) = 9