jp proof-301

jp proof-301