A lecture of CS 173 (Discrete Structures)