hxyfxyxf01xhxxgxyxgxyy2.1hxyfxyxf01xhxxtruefg01g01g012gxy'y'fg011g011gxyxf01g01f01x'hx'x'hg01g01hxyfxyxfg01g01g01AProVEunknownStatistics for single proof: 100,00 % (2 real / 0 unknown / 0 assumptions / 2 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe