[math-fun] Fwd: Distinguisher and Related-Key Attack on the Full AES-256