No-Go Theorem for BEC in the Nelson and Pauli–Fierz Models - Yoshitsugu Sekine (2026)