Roset Julià, M. CM Elliptic Curves and the Coates{Wiles Theorem. Reports@SCM 2020, 5, 45-56.