Other generalizations of the main conjecture proved using the Euler system method have been obtained by Karl Rubin, amongst others.
Other conclusions of the main opinion were proven using the Euler system method and obtained by Karl Rubin, and others.