theorem :: XPRIMES2:8905

canceled;