Skorokhod's first embedding theorem