Nirenberg Non-Embeddability Theorem