How Much Bitcoin Does MicroStrategy Own: Mathematical Analysis of Corporate BTC Holdings