Reshetnyakin liimauslause on Alexander-geometrian keskeinen tulos . Lauseen avulla voidaan rakentaa CAT(k)-avaruuksia liimaamalla CAT(k)-avaruuksia kupereiden joukkojen päälle.
Lauseen muotoili ja todisti Juri Reshetnyak vuonna 1968.
Olkoon CAT (k) -avaruuksia , ja olkoon kuperia osajoukkoja isometrisesti toisiinsa nähden, ja olkoon jokin isometria. Tällöin kohdasta - liimaamalla saatu tila on myös CAT ( k)-avaruus .
Erityisesti jos ja ovat Hadamard-avaruuksia , niin on myös Hadamard-avaruus.