[Ran_32proof.jpg]