Theorem 1.2.xml

<mxfile userAgent="Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_3) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/65.0.3325.181 Safari/537.36" version="8.5.0" editor="www.draw.io" type="github"><diagram id="f37839db-130c-09f8-2a43-42703582efc6" name="Page-1">7Zhtb5swEMc/DS9bGUxI8rJJ260vJlWKtIdXkwcusWowM6Yh+/Q7sHkmWRolXaUmihL8t7kz9zsuXCy8jPJPkiTrLyKg3HJQkFv41nKcOcbwWQhbLbhTTwuhZIGW7EZYsT/UiMioGQto2lmohOCKJV3RF3FMfdXRiJRi0132JHjXa0JCOhBWPuFD9RsL1Fqrswlq9M+UhevKs43MzC/iP4dSZLHxZzn4qXzp6YhUtoyHdE0CsdFSaQLfWXgphVD6KMqXlBehrcKm/dzvmK33LWmsDjnB0Se8EJ7RasflvtS2igWNg5sipDDyOUlT5lt4sVYRB8GGw1RJ8VyHyQXlScTKMAX3eKFN0mAQ82aXdn3tkFJURFTJLSzZNMGvYr9uxb3SJOVEsZeueWJyIKzN1R4eBQPHDjLpWqedyVbPRV0TqcikT81Z7Wj2DHnTyX5DisiQqoEhiC/ZtpYlxYK0vQIOWoFppBLnOFp8QQuFx+2inXlHou0bcv8nWncErceV4dNh7P3ORDVxlZbkbmCBM0nyZhKOwuL74eFBT69IEIABAGm2q63DvrQDvXyQT4rmaiyDloILCUosYlrshXHekwhnYVykIaQNBX3xQqViUJBvzETEyh3hxWbNFF0lxC98buDXB7Sy4NIiOGhnjhYGaf7aLK0qBO5ViKkZt7LYno+ksT3rpUk7ZTsZsAe3dy7cF9hjsF23W8Vdbwi7/sk4Oezp2e5tQzvJJBMZYEZcQMzLp5KcReTDc3f6JX6Ee4345Nxn5+L+9cL9H/e7d0BxPxv3qpB0wLvlG2U/YeeoGn4UHl7vPpzMR3iM1l90Ch72Ph7OB+Th9toj/LY8JiM8jupjqqhDT35/j+A16HDskQDSnKnvMLhC1whNjPCjiPb1fDo140cqGVxZAe/2NW0RXEXZf7Se895Lp3R0E+zOe4b6WbCjUzqiD7LHnozfMDcOxfxumPZRHMx09nZMxx6AL0x3314nu0/tUzGFYfMPpl7e/EuM7/4C</diagram></mxfile>