Zastanówmy się najpierw, jak zapisać podane warunki w języku matematyki. Następnie, korzystamy z podanych twierdzeń:

 wtedy i tylko wtedy, gdy ;
 wtedy i tylko wtedy, gdy