theorem :: XPRIMES2:905

canceled;