интересная логика, но в основе теоремы лежит аксиома. а аксиома такая: Алик - чебурек. попробуй еще раз.