Team:BGU ISRAEL/Proof