OMTEX CLASSES: BPT theorem.