Lesson2-QuickCheck1-05