Question: assume a prime number

Hi,

> assume(y::prime)

> about(y);
Originally y, renamed y~:
  is assumed to be: prime

I don't understand this answer:

> is(sqrt(y)>0)

      FAIL

Please Wait...