:- use_module(library(dif)).
:- initialization(main).

main :-
	dif(A,B),A=A*B,B=C*A*C,
	write(ok), nl.