*** Welcome to piglix ***

De Rham decomposition theorem

...