thermal - Revision 591: /blackbody/proofs