Minor changes

Picture added intro
Theorem 5.1 added
example proposition added