Got started with progress theorem.

Path case done.