The top documents tagged [direct proof of nonregularity]