It is exactly how it works. Apple has been taxed on the profits that make up their giant cash balance. Once that is paid out to investors through dividends or to employees through payrolls, it will get taxed again.