i apologize for not doing so if this is what was expected the theorem is named after stephen cook and leonid levin utekane muteri umusaza arimo gutembera muri parike