for L being non empty doubleLoopStr st L is PID holds
L is Noetherian