theorem :: XPRIMES2:7905

canceled;