RIGHT IN FACT WE CAN WITH SUITABLE USE OF GREEK SYMBOLS AS MATHEMATICIANS USUALLY DO WE CAN ACTUALLY PROVE A THEOREM