Problem rozwiązałem jak zwykle drogą dedukcji.
Temat na szczęście zamknięty ;)