theorem Th905: :: NUMBER11:905

Sum (digits (2244,10)) = 12