Теорема о представлении решёток