The full-pay Jacks or Ideal (9/6) have property edge of less than 0