fromXconsX2ndspos0Zrnil2ndsneg0ZrnilpiX2ndsposXfrom0plus0YYplussXYsplusXYtimes0Y0timessXYplusYtimesXYsquareXtimesXX2ndspossNconsXrconsposrecipY2ndsnegNZ2ndsnegsNconsXrconsnegrecipY2ndsposNZ2.12ndspossNconsX2ndspossNconsXrconsposrecipY2ndsnegNZrconsposrecip2ndspossNconsX2ndsnegN2ndspossNconsXrconsposrecip2ndsnegN2ndspossNconsXAProVEunknownStatistics for single proof: 100,00 % (1 real / 0 unknown / 0 assumptions / 1 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe