thermal - Revision 593: /blackbody/proofs