Marsaglia theorem