• 2 months ago
proof and lemma