PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • (4) If p is a prime and x is a positive integer and $p^x$ divides $$\left\lfloor\frac{n}{p}\right\rfloor\, $$ then, $p^x$ also divides $$\binom{n}{p}$$
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com