Informasi yang berkaitan dengan it/Teorema di Sipser-Lautemann