https://123dok.com/document/zxvd144y-perluasan-teorema-titik-tetap-banach-ruang-metrik-parsial.html