Coba jelasin . dari Metode Galerkin dong

Bagi dengan  dan ambil semua kemungkinan hasil akhir infimum lemma .