Sentence 1: This is negative for all non-negative Formula 63 if both have such rooms a metric type .
Sentence 2: This is non-negative for all such formula _ 63 iff both metric spaces have negative type .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?