ある証明 page 7 full