背理法の正当化は実用性以外に無い