Is %7B%7B3%2C-3%7D%2C%7B-3%2C5%7D%7D positive definite%3F