모듈 형식을 사용한 Lucas 합동식 증명

본 논문은 모듈 형식 이론을 사용하여 Apéry-like 수열을 포함한 다양한 수열이 모든 소수 모듈로에 대해 Lucas 합동식을 만족함을 증명합니다.