Deep Contrastive Learning is Provably (almost) Principal Component Analysis