N indication denotation proof of applicable