Assertion: function's number | /r/HasProperty | prime
Facets:
Source sentences:
text: The function f takes as inputs two prime numbers p and q in binary notation and returns their product.