Skorokhod's representation theorem