1c1
< aX
---
> bXaX