rm ax-10 from a couple of sbied* variants

[wlammen]

This particular example shows that some recently added theorems miss some scrutiny, and maybe need to be reworked.

1. sbiedw need not depend on ax-10. Removing it has a cascading effect on other theorems that uses it.
2. In the sbied environment references to freshly added variants are missing all over the place.

I did not particularly look for a theorem failing in these respects. sbiedw was a random hit. Actually I wanted to visit sbiev, and it happend to be next to it.

[benjub]

I approve but I'd still like you apply my suggestions.