Let $A \in \mathbb{R}^{N \times N}$ be a D4571: Real matrix such that

(i)	$N \in 1, 2, 3, \ldots$ is a D5094: Positive integer

Then $A$ is a D4938: Positive definite real matrix if and only if $\frac{1}{2} (A + A^T)$ is.