Application of Complex Classes to Number Theory (Formalized Mathematics, 2025)