Sử dụng một lập luận tương tự như sử dụng để có được (5.7), ta có thể thấy
rằng F (U) là equicontinuous. Sau đó từ các định lý Arzel`a-Ascoli
rằng F (U) là tương đối nhỏ gọn và do đó F: U → C [0, 1] là một
. Bản đồ nhỏ gọn
Chúng tôi có thể bây giờ áp dụng Định lý 5.1 (chú ý rằng khả năng (A2) không thể
xảy ra ) để suy luận rằng F có một điểm cố định trong U, hoặc tương đương, (5.1)
có một giải pháp trong U
đang được dịch, vui lòng đợi..