u/DifferenceProof4275