Verification of Nortron's Theorem