Proof. Cc @Dibadisney