Itemb.v

Yes, because there should be infinitely many solutions.

in-context