Выберите подходящий вариант модального глагола с инфинитивом
Fermat's last theorem was proved in 1994 by Andrew Wiles. It __________ (must be, must have been) difficult.