Да, изложено, например, у Рибенбойма.
Но только первый случай, те когда ни одно из трех чисел не делится на полвину показателя.
Спасибо!
Только не понятно немного. Получается у Рибенбойма изложено не полное доказательство для

? (или вообще утверждение для случаев

?)