¿Cuánto Bitcoin posee MicroStrategy: Análisis matemático de las tenencias corporativas de BTC?