@junadutch: how do i prove