No Valid Categorical Syllogism contains two Negative Premises/Proof