theorem Th82: :: NUMBER11:82

Sum (digits (165,10)) = 12