A:P' ist entscheidbar
B:P ist reduzierbar auf P'
C:P ist entscheidbar
wenn P' entscheidbar ist und P ist reduzierbar auf P', dann P ist entscheidbar.
wenn P nicht entscheidbar ist und P ist reduzierbar auf P', dann P' ist nicht entscheidbar.
