lyx - 等式的注释行在证明中

我想评论一下我的一些证明，以便读者在以后重新阅读我的作品时可以更轻松地跟踪并且记住其推理。有什么方便的方法吗？