Comment by mushbino

It's all provable beyond doubt if you'd like to see.