prove some cardinalities fact

Printable View