• 3 days ago
easier proofs