我不确定以下伪代码是否可以生成uniformly random permutation：

PERMUTATE(A): 
    n = A.length
    for i = 1 to n
        swap A[i] and A[random(1,n)]

这似乎是对的，但是谁能给我一个严格的证明，以验证其正确性或错误性？