String Theorem, Test Pattern – By Definition