prove I_INFINITE and define I_PAIR
define I_BOOL, I_IND, and I_SET