prove I_AXIOM

a simple theorem, after figuring out how MN's and JRH's cardinality
theories line up...