Does The Digital Sat Include Euclidean Proofs? What You Need To Know!