全労済とは何