Comment by adrianN

If the proof make it past the validation it’s a valid proof and makes sense by definition.