Freund-Rubin compactification
 
x
OK