( x 'xor' y = FALSE or x 'xor' y = TRUE ) by XBOOLEAN:def 3;
hence x 'xor' y is Element of BOOLEAN ; :: thesis: verum