theorem Th242: :: NUMBER11:242

Sum (digits (255,10)) = 12