Custom Theorem Definition