Category:P-Product Metric on Real Vector Space is Metric