• 15 hours ago
easier proofs