Talk:Freund–Rubin compactification