take <* the NonatomicND of V,A*> ; :: thesis: <* the NonatomicND of V,A*> is V,A -NonatomicND-yielding
thus <* the NonatomicND of V,A*> is V,A -NonatomicND-yielding ; :: thesis: verum