!!                                                                                           ∀               ∀    #          ∃                                             ∀          %                                       &          ∋  (  )   ∋                         ,        −      %             &     #                               ∋          ∗ +                   /            ∋                  −                               ∋                                            ,                         ∀                                                           2     1+  1/ 2 3            2       3  1)    1/    3                 ∗3 4     −     /                          3  /      3           −                       &                                            1/   3 4            1/             /                  1∋              /        2        2 3 (         ,                                  1+   ∗3        1/   3  −          1         ,        73 ∋                    1/  3 4      1&    73 ∋                    /    3     !                               3 1)      ∗3  /   3          /    3     3       1  8                 3          ∋   −           / !              1+      ∗3                     / !     ∋     1+                           ∗ /          /                       3                      8        16       9   3 /9          1:  3                  18     8  9      73            /   9        3          /  8 9          +  ,          ∋  /9                                    9        2  2 3         ∗3    1    3 1)                  1          3     ∗3  3  /9    3 1   3          &                        9        ∋                          −                                                  !         ∀      9 4 3         1    1/9    3                                            1/ 9   73                          −                     ,                                                                      −                    9                                                       −      9                       3     3        9                                 &   ,        9                         / !              9         9    −              ,         ,      ,                     ;               ;                                          1    1) 3  ∗3                                                            1       ∗                                    &                3      &                         ∀                            / !           ∋         /                            :                                      ∀   ∋                              ∋                                                     &         ∗ +   /     9                                          4              9