また 計算可能な時間内に殺すことが不可能であることを証明してください