theorem Th749: :: NUMBER11:749

Sum (digits (242,10)) = 8