метатеорема

Etymology
..

Noun

 * 1)  metatheorem