L30A 00:00 Review 00:35 Notation 02:30 Example 04:45 Hall's theorem 19:30 Definition of deficiency 26:00 Property of deficiency L30B 00:00 Proof (cont. )