English ⇄ Russian

we leave it as an exercise for the reader to check the formula stresses
math.	мы оставляем проверку этой формулы читателю как упражнение; проверку данной формулы мы оставляем читателю как упражнение; проверку этой формулы мы оставляем читателю в качестве упражнения