解析かいせき学がくでは厳密げんみつな証明しょうめいが求もとめられる。
Kaisekigaku de wa genmitsuna shoumei ga motomerareru.
Rigorous proof is required in mathematical analysis.
その定理ていりの厳密げんみつな定義ていぎを再さい確認かくにんした。
Sono teiri no genmitsuna teigi o saikakunin shita.
I reconfirmed the rigorous definition of that theorem.