How to proove all agreement are contract but all contract are not agreement?