Redirecting to Bolyai–Gerwien theorem