P(x,y): "x, y'yi böler" önermesi veriliyor. "Her sayı kendisini böler" ifadesinin mantıksal gösterimi nedir?