תבנית:הוכחות מתמטיות/מצב