실베스터-갈라이 정리