Professor Amongus has shown that a decision problem L is…