box muller transform proof - Search