In German textbooks one sometimes finds the term "tiefliegendes Ergebnis" for theorems whose proofs require strong methods. The literal translation would be "deep lying result" but I'm pretty sure that I have never read this phrase in any English textbook.
So does anyone know a correct translation?