Prop_J.v一応完
MoreProp_J.v 追加