Greenberg's conjecture and Iwasawa module of real biquadratic fields I. - Chems-Eddin, Mohamed Mahmoud (Journal of Number Theory, 2026)