theorem Th145: :: NUMBER11:145

Sum (digits (84,10)) = 12