theorem Th130: :: NUMBER11:130

Sum (digits (221,10)) = 5