argument z nieredukowalnej złożoności