@Gan here's proof