الرياضيات تتحقق من الرياضيات.