4057은 소수입니다.