it's literally the prototypical example for `Assuming`

https://reference.wolfram.com/language/ref/Assuming.html