תהא A שפה, ותהא M מכונת טיורינג דטרמיניסטית עם גישה לאורקל (כלשהו). עבור שפה B, נסמן ב-M B את המכונה המתקבלת מ…

תהא A שפה, ותהא M מכונת טיורינג דטרמיניסטית עם גישה לאורקל (כלשהו). עבור שפה B, נסמן ב$-M^B$ את המכונה המתקבלת מ-M כאשר גישת האורקל שלה היא לשפה B. נתון כי לכל שפה B, המכונה $M^B$ מכריעה את השפה A (כלומר, לא משנה מהו האורקל שאליו יש למכונה M גישה, היא בכל מקרה מכריעה את A בזמן ריצה כלשהו). נתון בנוסף כי קיימת שפה B עבורה המכונה $M^B$ מכריעה את השפה A בזמן פולינומיאלי. הוכיחו כי $A \in coNP. 5$