On the Pigeonhole and Related Principles in Deep Inference and