Again there is a ton of proof that short sellers exist it's just a matter of doing the math on the outstanding shares. If the number of shares owned by shareholders exceeds the outstanding shares then there must be shares which have been shorted. Krombacher
Market Data 
Markets 
AI
