∀(x∈人生) x∈勉強 プチコン∈人生 ∴プチコン∈勉強