Zdefiniuj predykat remainder2(R,X,Y), który jest prawdziwy, gdy R jest resztą z dzielenia liczb całkowitych X przez Y.

Wie ktoś może jak rozwiązać? Proszę o pomoc dzidki.