Что и требовалось доказать: Тогда и только тогда / Q.E.D. iff: Shoumei Shuuryou