The problem of verification with reference to the Girkmann problem