>>652
本は知らんが、あといくつか後出し条件があれば証明できるな