Kami ni Homura wo: Saishuu Teiri no Shoumei Houhou

Một bài toán toán học được gọi là Định lý Cuối cùng của Fermat đã thu hút các nhà toán học trên toàn thế giới trong 350 năm. Vào năm 1951, trong bối cảnh Nhật Bản hậu chiến tranh, một nhà toán học trẻ tên là Andy Homura đã cố gắng giải nó, gọi nó là "Chứng minh của Quỷ dữ." Hành trình và những phát triển trong lĩnh vực toán học của ông đã bị ảnh hưởng bởi sự xuất hiện của một cô gái nhỏ thần đồng tên là Lama. Homura đã dành cả cuộc đời mình để chứng minh định lý này, tạo ra những sự kiện định hình cả cuộc đời ông và lịch sử toán học.