Then you reduce left-hand side as new variables, . If you repeat the same thing, so what earlier we had, only without f is one.
ನಂತರ ನೀವು ಎಡಭಾಗವನ್ನು ಹೊಸ ವೇರಿಯಬಲ್ ಗಳಾಗಿ ಕಡಿಮೆಗೊಳಿಸುತ್ತೀರಿ, ನೀವು ಅದೇ ವಿಷಯವನ್ನು ಪುನರಾವರ್ತಿಸಿದರೆ, ನಾವು ಮೊದಲು ಏನನ್ನು ಹೊಂದಿದ್ದೇವೆ, f ಇಲ್ಲದೆ ಮಾತ್ರ ಒಂದು.