Because the program won't be provable for a given set of inputs.

Unless you count the external random number as one of the inputs, I suppose.