#152: Consistency of result is a proof of

#152: Consistency of result is a proof of