Proof and generalization of conjectures of Ramanujan Machine - Shuma Yamamoto (2024)