theorem Th885: :: NUMBER11:885

Sum (digits (2002,10)) = 4