Write a Prolog Program that returns True if a given element X is greater than every other element inside a given binary tree following this definition:

bt(void). bt(node(A, T1, T2)) :- integer(A), bt(T1), bt(T2).

The name of the function is:

maxtree(A, T).