piNSN reduces to LoopSpace lemmas