Омг, я сразу подумал что зря он это написал - сразу понапихали в подписи пытаясь представить в виде аксиомы =\