f01XfgXXXXgXYXgXYY2.1f01XfgXXXXf01XgXXtruef01XfgXXXXf01XfgXXXXgXYXgXYYfgg01g01g01g012gX'Y''Y''fgg01g011g011gX'Y'X'fg011g011gX'YX'f01g01f01XfgXXXXfgg01g01g01g01AProVEunknownStatistics for single proof: 100,00 % (3 real / 0 unknown / 0 assumptions / 3 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe