principle of finite induction

Prévia do material em texto

���������� �������	
��
�
����
����������
���������	��
�����������������	
�

����
��������� ���
��������� !" "���#� ��$%�#�!�
&'� ��������� !" "���#� ��$%�#�!�( )�*! +�!,� )* -./01-./23.4526783/296( �* �!::!��;
"!�:%�)#�$ �� #,! ,);*< =!#' )�� �>%�?)���#< &'� "��*# "!�:%�)#�!� �* +�!,� )* @1.A ��$%�#�!�<
B# )**��#* #')# �" ) *#)#�:��# '!�$* "!� )�$ �" ( #'�� '!�$*
"!� )�� �)#%�)� �%:C��* < &'� �)*� �* �)���$ #'� D.E153.E1 !� D.E15E/1F )�$ #'�
�:����)#�!� �* �)���$ #'� 26783/2G15E/1F< B� )� ��$%�#�?� ��!!"( !�� %*�* #'�
#��: 26783/29650HF9/01E2E !� 26783/2G150HF9/01E2E #! ��"�� C)�+ #! #'� *#)#�:��# ,'�� !��
�* #�;��I #! ��!?� "�!: �#<
&'� *��!�$ "!�:%�)#�!� �* +�!,� )* E/J96K !� 39-F41/1 ��$%�#�!�< B# )**��#* #')# �" #'�
�:����)#�!� �* #�%�( #'�� �* #�%� "!� )�� �)#%�)� �%:C��* <
LM���( #'� >%)�#�"���* �)�I� !?�� )�� �)#%�)� �%:C��*<N O* ,� ')?� "!�:%�)#�$ �#( *#�!�I
��$%�#�!� $!�* �!# ��>%��� ) *��)�)#� C)*� �)*�< P!#� #')# #'� �:����)#�!� 
 )���)$; ��#)��* *���� #'� *#)#�:��# '!�$*
?)�%!%*�; L#'��� )�� �! �)#%�)� �%:C��* ��** #')# Q��!N<
O :!:��#R* #'!%I'# ,��� *'!, #')# #'� "��*# "!�:%�)#�!� L,�)+ ��$%�#�!�N �* �>%�?)���# #!
#'� "!��!,��IS
T�# C� ) *�# �)#%�)� �%:C��* *%�' #')#
U< C��!�I* #! ( )�$
V< �" C��!�I* #! ( *! $!�* <
&'�� �* #'� *�# !" )�� �)#%�)� �%:C��*<
W�:��)��;( *#�!�I ��$%�#�!� �)� C� *#)#�$S
B" �* ) *�# !" �)#%�)� �%:C��* *%�' #')# C��!�I* #! ,'���?�� )�� �%:C��* ��**
#')� C��!�I #! ( #'�� �* #'� *�# !" )�� �)#%�)� �%:C��*<
&'� ��������� !" "���#� ��$%�#�!� �)� C� $���?�$ "�!: #'� ")�# #')# �?��; �!��:�#; *�# !"
�)#%�)� �%:C��* ')* ) *:)���*# ���:��#< &'�* ")�# �* +�!,� )* #'� @144X9J71J26K5FJ2632F415Y9J
6./8J.4568-D1JE< LP!#� #')# #'�* �* �!# #'� *):� #'��I )* #'� @144X9J71J26K5FJ2632F41( ,'��' �*
�>%�?)���# #! #'� )Z�!: !" �'!��� )�$ ')* �!#'��I #! $! ,�#' ��$%�#�!�<N
���������� �������	
��
�
����
����������
���������	��
�����������������	
�

����
��������� ���
���������� ��!"#�$�%�&�'()*+)((�'(*&�%,�-.!/01-�
!2�3� 4�2�5243�� 6�62�2���2��#5�2 �
7�� �25�3���8� 9�2�5243�:6$2�2��;��#5�2 �
<���� 6�5����2 � '(*=>(=>''�**)?@)?*
-�A��8 �262��� � '(*=>(=>''�**)?@)?*
:B��� 7C �D=++*E
-�A��8 �262���%, 7C �D=++*E
F#8��25�3�2� '?
.#�" � 7C �D=++*E
/���,��,4� !"� ��8
73�AA2625��2 � 8A5�(=/'G
73�AA2625��2 � 8A5�((>('
H�3������ 425 !���A62�2��;��#5�2 �
H�3������ 425 .�/I�843�:61��"�8��25�3;��#5�2 �
H�3������ 425 ;��#5�2 �
H�3������ 425 C�33$ #����;��#5�2 �
<�62��A 2��#5�2 ��",4 �"�A2A
<�62��A 2��#5�2J��",4 �"�A2A
<�62��A %�A��5�A�
<�62��A %�A��A��4