added images explaining the essence of the theorems