comprobandum