User blog comment:Tomtom2357/Complete Proper Combinators/@comment-1605058-20130713065502/@comment-1605058-20130713092117

Wait, if I=Aa, then AaIc=IIc=Ic=Aac, so we have problem, because A requires 3 variables, and Aac has only 2. So your argument fails there.