Könyvelőprogram Közösségen belül

Tisztelt Szakértő! Amennyiben egy magyar értékesítő cég elad egy könyvelőprogramot egy osztrák cégnek, akkor az szolgáltatásnak minősül-e, és áfával vagy áfamentesen kell-e kiállítani a számlát? Az osztrák cégnek nincs Magyarországon telephelye, irodája, a könyvelőprogramot Ausztriában használják. Ebben az esetben hogyan lehet bizonyítani azt, hogy a könyvelőprogram elhagyta a határt, hiszen nem konkrét tárgyi eszközt kapott a vásárló, hanem egy forráskódot, elektronikus úton? A magyar eladó áfával állította ki a számlát, mert állításuk szerint a program tárgyi eszköz, és nem bizonyítható, hogy elhagyja a határt, függetlenül attól, hogy osztrák cég vásárolta azt meg. Köszönöm válaszát.