I made this proof in next shuffle