n proved that N