theorem Th120: :: NUMBER11:120

Sum (digits (156,10)) = 12