That was easy to see ordinary, apparently modeled on cases.
The answer left as an exercise slightly, since the card reader is not difficult.
And vice versa Similarly, the establishment of a natural corollary, omit the process of QED, known from the above proof.
(Who wants to come is really too much fun)