theorem :: XPRIMES2:9905

canceled;