The property of BST is that there's an ordering relationship between every node and its children. Therefore, irrespective of the order in which deletion is going to performed, the relationship between the nodes should stay intact.
An easy way to prove this is printing the elements of tree on in inorder form:
1.) Delete x, then y, and print all elements in inorder form
2.) Delete y, then x, and print all elements in inorder form
One of the properties of inorder expression is that it will always print the BST values in the sorted order. Therefore, if both (1) and (2) are sorted, and the in the same order, we'll have proved that deletion of x followed by y is the same as deletion of y followed by x since the BST node relationship remains intact.