An entire-shell out Jacks or Top (9/6) has property edge of less than 0