linear independence of %7B(1%2C3%2C-1)%2C (-1%2C-5%2C5)%2C (4%2C7%2Ch)%7D