theorem Th277: :: NUMBER11:277

Sum (digits (162,10)) = 9